翻訳と辞書 Words near each other ・ awg ・ awk ・ awt ・ axe ・ axiom ・ axiom of choice ・ axiom of comprehension ・ axiom* ・ axiomatic architecture description language ・ axiomatic semantics ・ axiomatic set theory ・ axle ・ ayacc ・ ayt ・ az ・ azerty ・ b-0 ・ b-line ・ b-method ・ b-toolkit Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク axiomatic set theory ： FOLDOC axiomatic set theory One of several approaches to set theory, consisting of a {formal language} for talking about sets and a collection of axioms describing how they behave. There are many different {axiomatisations} for set theory. Each takes a slightly different approach to the problem of finding a theory that captures as much as possible of the intuitive idea of what a set is, while avoiding the paradoxes that result from accepting all of it, the most famous being Russell's paradox. The main source of trouble in naive set theory is the idea that you can specify a set by saying whether each object in the universe is in the "set" or not. Accordingly, the most important differences between different axiomatisations of set theory concern the restrictions they place on this idea (known as "comprehension"). Zermelo Frnkel set theory, the most commonly used axiomatisation, gets round it by (in effect) saying that you can only use this principle to define subsets of スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.